The Distribution of the Largest Nontrivial Eigenvalues in Families of Random Regular Graphs

Recently Friedman proved Alon’s conjecture for many families of d-regular graphs, namely that given any 2 > 0 “most” graphs have their largest non-trivial eigenvalue at most 2 √ d− 1+ 2 in absolute value; if the absolute value of the largest non-trivial eigenvalue is at most 2 √ d− 1 then the graph is said to be Ramanujan. These graphs have important applications in communication network theory, allowing the construction of superconcentrators and nonblocking networks, coding theory and cryptography. As many of these applications depend on the size of the largest non-trivial positive and negative eigenvalues, it is natural to investigate their distributions. We show these are well-modeled by the β = 1 Tracy-Widom distribution for several families. If the observed growth rates of the mean and standard deviation as a function of the number of vertices holds in the limit, then in the limit approximately 52% of d-regular graphs from bipartite families should be Ramanujan, and about 27% from nonbipartite families (assuming the largest positive and negative eigenvalues are independent).